1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16d.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP7W/3CCLDJ8 |
Repositório | sid.inpe.br/mtc-m19/2012/08.01.11.52 |
Última Atualização | 2012:08.01.11.57.25 (UTC) marciana |
Repositório de Metadados | sid.inpe.br/mtc-m19/2012/08.01.11.52.50 |
Última Atualização dos Metadados | 2018:06.05.04.12.35 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
Chave de Citação | RomeroViei:2012:ApMoAr |
Título | An Approach to Model-Driven Architecture applied to Hybrid Systems |
Ano | 2012 |
Data de Acesso | 17 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 446 KiB |
|
2. Contextualização | |
Autor | 1 Romero, Alessandro Gerlinger 2 Vieira, Mauricio Gonçalves |
Grupo | 1 2 CRC-CRC-INPE-MCTI-GOV-BR |
Afiliação | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Nome do Evento | International Conference on Space Operations, (SpaceOps), 12 |
Localização do Evento | Stockholm |
Data | 11-15 June 2012 |
Título do Livro | Proceedings |
Histórico (UTC) | 2012-12-20 18:31:56 :: marciana -> administrator :: 2012 2018-06-05 04:12:35 :: administrator -> marciana :: 2012 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Resumo | Hybrid systems are characterized by a composition of discrete and continuous dynamics. In particular, the system has a continuous evolution and occasional jumps. The jumps are caused either by controllable, uncontrollable external events or by its continuous evolution. The continuous evolution and these jumps in control loops are the origins from the most stringent real-time demands. With the necessity to launch more satellites, Brazilian National Institute for Space Research (INPE) has been carrying out research on modeling and verifying hybrid systems, of which its main focus is to obtain a better balance between dependability, schedule, and cost. We are attempting to use Object Management Group (OMG) specifications to model discrete events. We are focusing mainly in Modelica (with some degree of Scicoslab) to model continuous dynamics. Another concern addressed by this, INPE, research is to be independent from commercial tools, establishing itself on open source software. This paper presents an approach to implement Model-Driven Architecture in hybrid systems based on vendor neutral specifications. It shows how the models are defined, traced and used, as well as a set of tools for this. SysML (Systems Modeling Language), and MARTE (Modeling and Analysis of Real-Time Embedded Systems) allowed us to define a Computation Independent Model focused mainly on high-level structure and behavior (state oriented). At the end, a case study is presented (inverted pendulum). From this case study, we have concluded that the proposed approach can complement uncovered topics in current research applied to hybrid systems development and maintenance. |
Área | ETES |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > An Approach to... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/3CCLDJ8 |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/3CCLDJ8 |
Idioma | en |
Arquivo Alvo | id1290620-Paper-003romero.pdf |
Grupo de Usuários | marciana |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Vinculação | Trabalho Vinculado à Tese/Dissertação |
Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F3PAJE |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.19.00.29 3 |
Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarytype type url volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|